― 超実数の構成から位相環の構造、およびネットの収束理論 ―
超準解析における「超実数体」を代数的に構成する最も標準的なアプローチは、すべての実数列の集合 $\mathbb{R}^{\mathbb{N}}$ から出発することです。この集合には、通常の定数列 $(3, 3, 3, \dots)$ や、ゼロに収束する数列 $(1, 1/2, 1/3, \dots)$、無限大に発散する数列 $(1, 2, 3, \dots)$ など、あらゆる実数列が含まれます。
この数列の集合に対して、成分ごとの足し算と掛け算を定義することで、$\mathbb{R}^{\mathbb{N}}$ は可換環になります。しかし、このままでは数体系として不都合が生じます。なぜなら、例えば $a = (1, 0, 1, 0, \dots)$ と $b = (0, 1, 0, 1, \dots)$ という2つの非ゼロの数列の積をとると、全ての成分が $0$ である零系列 $(0, 0, 0, 0, \dots)$ になってしまうからです。このような「ゼロ因子」が存在するため、$\mathbb{R}^{\mathbb{N}}$ は体（Field）になりません。そこで、「ある意味で等しい」数列同士を同じものとみなす（同値類をとる）ための判定基準が必要になります。
「2つの数列がどのインデックスにおいて一致していれば、全体として等しいとみなしてよいか」を決めるのが、自然数の集合 $\mathbb{N}$ 上の自由超フィルター（Free Ultrafilter）です。直感的には、「$\mathbb{N}$ の部分集合のうち、どれを『圧倒的多数（ほとんどすべて）』のインデックス集合と認めるか」という投票システムのようなものです。
このような自由超フィルターの存在は、集合論における「ツォルンの補題（あるいは選択公理）」を用いることで厳密に証明されます。
用意した自由超フィルター $\mathcal{U}$ を用いて、2つの実数列 $a = (a_n)$ と $b = (b_n)$ の間に同値関係 $\sim$ を導入します。
この同値関係 $\sim$ によって実数列の集合 $\mathbb{R}^{\mathbb{N}}$ を割った商集合（同値類の集合）こそが、超実数体（Hyperreal number field）${}^* \mathbb{R}$ です。
$${}^* \mathbb{R} = \mathbb{R}^{\mathbb{N}} / \sim$$数列 $(a_n)$ の属する同値類を $[a_n]$ と表記することにします。この世界には、以下のような新しい「数」が共存しています。
全く同じ超フィルター $\mathcal{U}$ を用いて、実数列の代わりに「自然数の数列 $\mathbb{N}^{\mathbb{N}}$」を同値関係 $\sim$ で割ることで、超自然数（Hypernatural number）の集合 ${}^* \mathbb{N}$ が構成されます。
$${}^* \mathbb{N} = \mathbb{N}^{\mathbb{N}} / \sim$$ここには、標準的な自然数 $n = [n, n, n, \dots]$ だけでなく、 $H = [1, 2, 3, \dots]$ や $K = [2, 4, 8, \dots]$ のような、通常の自然数よりも大きな「無限大超自然数」が無数に含まれています。
超準解析の議論において、 ${}^* \mathbb{N}$ から ${}^* \mathbb{R}$ へのすべての関数を無差別に扱うと、論理的な破綻をきたします。モデルの内側で「行儀よく」振る舞う関数を内部関数（Internal function）と呼びます。超積の構成において、内部的な超実数列 $A$ は「標準的な数列の数列」として定義されます。
特に、すべての成分で同じ一つの標準数列 $a: \mathbb{N} \to \mathbb{R}$ を用いる場合、これは $a$ の自然な延長（Nonstandard extension） ${}^* a$ と呼ばれ、 ${}^* a_N = [a_{n_1}, a_{n_2}, a_{n_3}, \dots]$ となります。
無限大超自然数 $H$ までの足し算をおこなう「超有限和」は、無限回の足し算を直接実行しているのではなく、超積の成分ごとに「標準的な有限和」を計算し、それを超フィルターで束ねることで定義されます。
右辺の各成分 $\sum_{k=0}^{h_m} a^{(m)}_k$ は、通常の標準的な実数の世界における有限和に過ぎません。したがって、結合法則や分配法則といった有限和の代数的性質が、この超有限和へ完全に引き継がれることになります。これが「移行原理（Transfer Principle）」の具体的な現れです。
${}^* \mathbb{R}$ は全順序体（Total ordered field）であるため、開区間 $(a, b) = \{ x \in {}^* \mathbb{R} \mid a \lt x \lt b \}$ を開基とする順序位相（Order Topology）が自然に導入されます。この順序位相に関して、加法と乗法が連続写像となるため、${}^* \mathbb{R}$ は位相環（位相体）の構造を持ちます。この位相環の内部構造を調べるために、代数的な部分集合を定義します。
代数学の言葉を使うと、$\mathcal{O}$ は ${}^* \mathbb{R}$ における付値環（部分環）であり、$\mathcal{M}$ は $\mathcal{O}$ における唯一の極大イデアルを構成します。
標準世界（$\mathbb{R}$）と超準世界（${}^* \mathbb{R}$）を繋ぐ最も重要な架け橋が、次の定理です。
この定理の成立には、標準実数 $\mathbb{R}$ が持つ「上に有界な空でない部分集合は上限を持つ」という位相的完備性が決定的な役割を果たしています。
アブラハム・ロビンソンは、ある標準実数 $r$ に無限に近い超実数全体の集合をモナド（Monad）と定義しました。
$$\mu(r) = \{ x \in {}^* \mathbb{R} \mid x - r \in \mathcal{M} \} = \text{st}^{-1}(r)$$モナドを用いることで、標準的な位相空間論における諸概念が、量化子（$\forall, \exists$）の交差を伴わないシンプルな代数的包含関係に翻訳されます。
順序位相を備えた位相環としての ${}^* \mathbb{R}$ は、標準的な $\mathbb{R}$ とは大きく異なる、極めて特異な構造を持っています。
${}^* \mathbb{R}$ は、「開集合であり、かつ閉集合でもある（開かつ閉集合：clopen set）」自明でない部分集合を無数に含みます。その代表例が無限小の集合 $\mathcal{M}$ です。
${}^* \mathbb{R}$ の任意の点（例えば $0$）の周りには、可算個の基本近傍系をとることができません。なぜなら、もし可算個の正の無限小の列 $\varepsilon_1, \varepsilon_2, \varepsilon_3, \dots$ をどのように作って減少させていっても、超準モデルの持つ「$\aleph_1$-飽和性」により、それらすべてよりも真に小さい正の無限小 $\delta$ が必ず存在してしまうからです。したがって、${}^* \mathbb{R}$ の順序位相を通常の距離関数によって定義することは不可能です。
$0$ のどんな閉近傍をとっても、その中には「無限小の隙間」が稠密に詰まっており、有限被覆によってコンパクトに覆い尽くすことができません。ゆえに局所コンパクト性を失っています。
最後に、位相空間 ${}^* \mathbb{R}$ において、インデックス集合を標準自然数 $\mathbb{N}$ とする「数列」の極限と、インデックス集合を超自然数 ${}^* \mathbb{N}$ （これは順序に関して有向集合をなす）とする「ネット（Net）」の極限との間に生じる、決定的な挙動の違いについて検証します。
インデックス有向集合を ${}^* \mathbb{N}$ とする、 ${}^* \mathbb{R}$ におけるネット $A$ を以下のように定義します。
$$A: {}^* \mathbb{N} \to {}^* \mathbb{R}, \quad N \mapsto A_N = 1 - \frac{1}{10^N}$$このとき、ある基準インデックス $N_0 \in {}^* \mathbb{N}$ が存在して、
$$N \ge N_0 \implies A_N \in (1-\varepsilon, 1+ε) \iff 1 - \varepsilon \lt 1 - \frac{1}{10^N} \lt 1 + \varepsilon \iff \frac{1}{10^N} \lt \varepsilon$$ が成り立つことを示せばよい。正の超実数 $\varepsilon$ を実数列の同値類として $\varepsilon = [\varepsilon_1, \varepsilon_2, \varepsilon_3, \dots]$ と表現する（ほとんどすべての $n$ で $\varepsilon_n \gt 0$ ）。
標準実数 $\mathbb{R}$ が持つアルキメデス性により、各成分の正の実数 $\varepsilon_n$ に対して、
$$\frac{1}{10^{k_n}} \lt \varepsilon_n$$ を満たすような標準自然数 $k_n \in \mathbb{N}$ が必ず存在する。ここで、これらの自然数を束ねた無限大超自然数 $K \in {}^* \mathbb{N}$ を $K = [k_1, k_2, k_3, \dots]$ と定義する。超積の順序の定義から、
$$\frac{1}{10^K} = \left[ \frac{1}{10^{k_1}}, \frac{1}{10^{k_2}}, \frac{1}{10^{k_3}}, \dots \right] \lt [\varepsilon_1, \varepsilon_2, \varepsilon_3, \dots] = \varepsilon$$ が厳密に成立する。ここで、ネットの収束の基準点として $N_0 = K$ を選択する。関数 $N \mapsto \frac{1}{10^N}$ の単調減少性により、任意の $N \in {}^* \mathbb{N}$ が $N \ge N_0$ を満たすならば、
$$\frac{1}{10^N} \le \frac{1}{10^{N_0}} = \frac{1}{10^K} \lt \varepsilon$$ が成り立つ。したがって、どれほど小さな（無限小の） $\varepsilon \gt 0$ を提示されても、それに対応する超自然数の基準点 $N_0 \in {}^* \mathbb{N}$ を指定することができ、それ以降のネットの項をすべて $1$ の $\varepsilon$-近傍に閉じ込めることができる。
ゆえに、ネット $A_N$ は ${}^* \mathbb{R}$ の順序位相で $1$ に収束する。 $\quad \blacksquare$一方で、インデックス集合を標準自然数 $\mathbb{N}$ に限定した通常の可算数列 $a_n = 1 - 1/10^n$ （$n \in \mathbb{N}$）を考えた場合、これは ${}^* \mathbb{R}$ の順序位相において、いかなる超実数にも収束しません（発散します）。
この劇的な挙動の違いは、インデックス集合が持つ 「共終性（Cofinality）」 の差に由来します。
| 構造 | インデックス集合 | 順序位相での収束性 | 共終性のメカニズム |
|---|---|---|---|
| 可算数列 | $\mathbb{N}$ （標準自然数） | 発散 | $\mathbb{N}$ は ${}^* \mathbb{R}$ の中で「上に有界」である。特定の無限小の壁（例: $1/10^H$）を、可算回の有限ステップでは絶対に突破して内側に入り込めない。 |
| ネット | ${}^* \mathbb{N}$ （超自然数） | $1$ に収束 | ${}^* \mathbb{N}$ は ${}^* \mathbb{R}$ の無限大方向へ「共終」である。どんな微細な無限小近傍を課されても、最初からインデックス自体の中にそれを突破できる「無限大の番号」が含まれている。 |
インターネット上の俗説等で散見される「超準解析（あるいは無限小の数学）を用いれば、 $0.999\dots \neq 1$ であることが厳密に正当化される」という主張は、これまで見てきた現代数学の厳密な定義に照らし合わせると、二重の文脈誤認を起こしていることが分かります。
したがって、超フィルターによって基礎付けられた厳密な超実数の位相空間論の枠組みにおいても、「$0.999\dots \neq 1$」を固定的な一つの数として矛盾なく定置する余地は存在せず、むしろ超準世界におけるインデックスの共終性のダイナミズムが、標準的な実数の性質をより強固に裏付けていることが理解できます。